Fix bug #16347 with updating redisplay of company-mode's "tooltip".
authorEli Zaretskii <eliz@gnu.org>
Sat, 11 Jan 2014 11:54:08 +0000 (13:54 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 11 Jan 2014 11:54:08 +0000 (13:54 +0200)
commit2c88606e487514f23f9e2e07e7d896cc4a18c3e6
treeb908865fc0bb90f48492c8645eb6ef8d252db553
parent7c13cdbdd68a41708fb2dcffef0577ba4715c713
Fix bug #16347 with updating redisplay of company-mode's "tooltip".

 src/xdisp.c (try_window_id): Don't use this function's optimizations
 if overlays in the buffer displayed by the window have changed
 since last redisplay.
 (message_dolog): Fix indentation.
src/ChangeLog
src/xdisp.c